package hongjiang.info

object TypeSystemCompundType extends App {
  //class A extends (B with C with D with E) 
  trait X1; trait X2;
  val o = new X1 with X2
  type X = X1 with X2
  
//  val o2 = new X//出错
//  object T extends  X//出错 class type required but hongjiang.info.TypeSystemCompundType.X1 with  hongjiang.info.TypeSystemCompundType.X2 found

//  trait XX extends X//出错
  
}